int randNumber(void);
